Kowloon - PDFSEARCH.IO - Document Search Engine

Kowloon
Results: 7069

#	Item
311	, Training ScheduleAll Age Group) Eng.xlsx Add to Reading List Source URL: www.hkfa.com Language: English - Date: 2015-02-25 01:45:45 Kowloon Bay Kowloon Bay Park Hong Kong
312	A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
313	From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-10-13 03:43:14 Mathematics Non-classical logic Model theory Predicate logic Modal logic Stable model semantics First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
314	Dynamic algorithms for geometric spanners of small diameter: Randomized solutions Sunil Arya 1 Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hongkong. Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2006-04-07 01:20:42 Mathematics Dimension Euclidean plane geometry Estimation theory Statistical theory Computing Geometric spanner Proximity problems Skip list
315	目錄 ContentsMajor Infrastructure Projects Add to Reading List Source URL: www.building.com.hk Language: English - Date: 2014-07-04 04:49:12 Hong Kong Kwun Tong Kowloon Tong Station Kowloon
316	Polytope Approximation and the Mahler Volume Sunil Arya∗ Department of Computer Science and Engineering The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-03-02 04:07:27 Convex analysis Mathematical analysis Convex hull Ε-net Voronoi diagram Convex polytope Computational geometry Geometry Mathematics
317	Tradeoffs in Approximate Range Searching Made Simpler Sunil Arya ∗ Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2010-08-18 06:00:27 Search algorithms Quadtree K-d tree Range searching Nearest neighbor search Bin Water Open set Information science Mathematics Computing
318	Optimal Area-Sensitive Bounds for Polytope Approximation Sunil Arya∗ Department of Computer Science and Engineering The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-04-17 22:37:10 Ε-net Vacuum permittivity Continuous function Geometry Quadratic forms Ε-quadratic form Mathematics Mathematical analysis Computational geometry
319	TRAIN-THE-TRAINER COURSE 5 full days Train-the-Trainer Course in Cantonese organized by Add to Reading List Source URL: www.thehksa.com Language: English - Date: 2014-03-10 04:04:48 Hong Kong Institute of Vocational Education Kowloon Station Sham Shui Po Index of Hong Kong-related articles The Scout Association of Hong Kong Hong Kong Cheung Sha Wan Tsim Sha Tsui
320	Approximate Range Searching∗ Sunil Arya† Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong David M. Mount‡ Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2006-04-04 10:41:36 K-d tree Quadtree R-tree Bin Search algorithms Discrete geometry Computing Data management Computer programming